4
Hardver- és szoftverrendszerek verifikációja

Hardver- és szoftverrendszerek verifikációja

Ésik Zoltán, Gombás Éva, Németh L. Zoltán
సంవత్సరం:
2011
భాష:
hungarian
ఫైల్:
PDF, 2.76 MB
0 / 0
hungarian, 2011
6
Modern Automata Theory

Modern Automata Theory

Zoltán Ésik, Werner Kuich
భాష:
english
ఫైల్:
PDF, 1.11 MB
0 / 0
english
7
Developments in Language Theory: 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings

Developments in Language Theory: 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings

Zoltán Ésik (auth.), Masami Ito, Masafumi Toyama (eds.)
సంవత్సరం:
2008
భాష:
english
ఫైల్:
PDF, 6.87 MB
0 / 0
english, 2008
8
Developments in Language Theory: 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings

Developments in Language Theory: 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings

Zoltán Ésik (auth.), Masami Ito, Masafumi Toyama (eds.)
సంవత్సరం:
2008
భాష:
english
ఫైల్:
PDF, 4.15 MB
0 / 0
english, 2008
9
A számítástudomány alapjai : egyetemi tananyag

A számítástudomány alapjai : egyetemi tananyag

Ésik Zoltán
సంవత్సరం:
2011
భాష:
hungarian
ఫైల్:
PDF, 787 KB
0 / 0
hungarian, 2011
10
Automaták és formális nyelvek példatár : egyetemi tananyag

Automaták és formális nyelvek példatár : egyetemi tananyag

Ésik Zoltán, Gombás Éva, Iván Szabolcs
సంవత్సరం:
2011
భాష:
hungarian
ఫైల్:
PDF, 2.02 MB
0 / 0
hungarian, 2011
14
Beyond Two: Theory and Applications of Multiple-Valued Logic

Beyond Two: Theory and Applications of Multiple-Valued Logic

Janusz Brzozowski, Zoltán Ésik, Yaacov Iland (auth.), Professor Dr. Melvin Fitting, Professor Dr. Ewa Orłowska (eds.)
సంవత్సరం:
2003
భాష:
english
ఫైల్:
PDF, 17.24 MB
0 / 0
english, 2003
15
Iteration Theories: The Equational Logic of Iterative Processes

Iteration Theories: The Equational Logic of Iterative Processes

Stephen L. Bloom, Zoltán Ésik
సంవత్సరం:
1993
భాష:
english
ఫైల్:
PDF, 43.04 MB
0 / 0
english, 1993
16
Recent Advances in Formal Languages and Applications

Recent Advances in Formal Languages and Applications

Zoltán Ésik, Carlos Martin-Vide, Victor Mitrana
సంవత్సరం:
2006
భాష:
english
ఫైల్:
PDF, 8.96 MB
0 / 0
english, 2006
17
Fundamentals of Computation Theory: 9th International Conference, FCT '93 Szeged, Hungary, August 23–27, 1993 Proceedings

Fundamentals of Computation Theory: 9th International Conference, FCT '93 Szeged, Hungary, August 23–27, 1993 Proceedings

Volker Diekert (auth.), Zoltán Ésik (eds.)
సంవత్సరం:
1993
భాష:
english
ఫైల్:
DJVU, 3.97 MB
0 / 0
english, 1993